what is leibnitz rule